Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
701	The Influence of Probabilistic Methodologies on Networking Thomer M. Gil Abstract tubes. However, the simulation of agents Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2005-04-09 16:37:16 Modal logic Non-classical logic Philosophical logic
702	i i “p01c01˙his” — [removed] — 10:11 — page 3 — #3 i Add to Reading List Source URL: gauss.ececs.uc.edu Language: English - Date: 2011-07-05 08:44:49 Philosophical logic Classical logic Propositional calculus Algebraic logic Logical consequence Boolean algebra Function Term logic Entailment Logic Mathematical logic Mathematics
703	Robustness of Evidential Probability Choh Man Teng and Gregory Wheeler Artificial Intelligence Center - CENTRIA Department of Computer Science, Universidade Nova de Lisboa[removed]Caparica, Portugal cm.teng,[removed]. Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:34:29 Philosophical logic Non-classical logic Modal logic Propositional calculus Interpretation Probabilistic logic Symbol First-order logic Entailment Logic Mathematical logic Model theory
704	Special Issue on Combining Probability and Logic Introduction Fabio Cozman, Rolf Haenni, Jan-Willem Romeijn, Federica Russo, Gregory Wheeler and Jon Williamson Draft of January 18, 2008 This volume arose out of an intern Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:34:32 Bayesian statistics Philosophy of science Statistical models Non-classical logic Deduction Probabilistic logic Bayesian network Graphical model Bayesian inference Statistics Logic Science
705	An Implementation of Statistical Default Logic Gregory R. Wheeler and Carlos Dam´asio Centro de Inteligˆencia Artificial (CENTRIA) Departamento de Inform´ atica, Universidade Nova de Lisboa[removed]Caparica, Portugal Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:32:17 Non-classical logic Boolean algebra Default logic Knowledge representation Propositional calculus Stable model semantics First-order logic Answer set programming Well-formed formula Logic Mathematical logic Logic programming
706	Logic and Artificial Intelligence Carnegie Mellon University Spring 2013 Instructor: E-Mail: Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2014-04-04 14:50:30 Reasoning Artificial intelligence Non-classical logic Modal logic Logic programming Knowledge representation and reasoning Epistemic modal logic Description logic Reason Logic Science Mathematical logic
707	Possible Semantics for a Common Framework of Probabilistic Logics Rolf Haenni1 , Jan-Willem Romeijn2 , Gregory Wheeler3 , and Jon Williamson4 1 Bern University of Applied Sciences, Engineering and Information Technology Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:34:37 Philosophical logic Deduction Probability theory Probabilistic logic Interpretation First-order logic Entailment Probability interpretations Modal logic Logic Non-classical logic Model theory
708	Two puzzles concerning measures of uncertainty and the positive Boolean connectives Gregory Wheeler Artificial Intelligence Center - CENTRIA Department of Computer Science, Universidade Nova de Lisboa[removed]Caparica, Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:32:15 Philosophy of mathematics Epistemology Lottery paradox Paradoxes Entailment Probabilistic logic Paraconsistent logic Modal logic Bayesian probability Logic Non-classical logic Philosophical logic
709	Gregory Wheeler Applied Logic without Psychologism Abstract. Logic is a celebrated representation language because of its formal generality. Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:34:23 Philosophy of mathematics Deduction Entailment Metalogic Modal logic Mathematical logic Classical logic Gottlob Frege Function Logic Philosophical logic Non-classical logic
710	Further thoughts on pointfree versus classical function rings Bernhard Banaschewski This talk will describe a substantially revised version of the proof, presented here last October, that the pointfree function rings RL Add to Reading List Source URL: www.mth.uct.ac.za Language: English - Date: 2014-04-04 11:01:20 General topology Category theory Model theory Adjoint functors Higher category theory Semilattice Closure Mathematical logic Compact space Topology Mathematics Abstract algebra

UPDATE